In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the n...(展开全部)

In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the n...(展开全部)

In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the n...(展开全部)

In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the n...(展开全部)

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerst...(展开全部)

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerst...(展开全部)

Far from being just 'wild, barbaric, axe-wielding pirates', the Vikings created complex social institutions, oversaw the coming of Christianity to Scandinavia and made a major impact on European history through trade, travel and far-flung consolidation. This encyclopedic study brings together the latest research on Viking art, burial customs, class divisions, jewellery, kingshi...(展开全部)

弗兰克•威廉•沃尔班克（F. W. Walbank，1909-2008），生前为利物浦大学名誉退休教授、不列颠学会会员。曾在剑桥大学的彼得豪斯学院（Peterhouse）学习古典学，从1951年到1977年间，一直是利物浦大学的古代史和古典考古学的拉思伯恩（Rathbone）教授，他也是匹兹堡大学访问学者、加州大学伯克利分校的访问学者、普林斯顿高级研究院的成员。其出版的著作包括《马其顿的腓力五世》、《波里比阿》、《有关波里比阿的历史注释》（3卷）、《可怕的革命》（与N. G. L. Hammond合著）以及《马其顿史，公元前336-前167年》（第3卷）。他也是《剑桥古代史》第7卷、第8卷的主编之一。

This classic focuses on the gathering, handling, and interpretation of numerical data from zoological investigations. Contents include types and properties of numerical data, mensuration, frequency distributions and grouping, patterns of frequency distributions, measures of central tendency, measures of dispersion and variability, populations and samples, and probability. "Exce...(展开全部)